(define t1
  (lambda (exp env)
    (list (syx 'id 'begin '())
	  (syn-car (syn-cdr exp))
	  (syn-car (syn-cdr exp)))))
